Bilirubin2_io
id_total, 4.083086273
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.080748452
id_inclusion_check_mod_p, 0.581508484
id_groebner_time, 2.252327145
id_beautifulization, 0.759955669
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 140294.0
